// ppec.h
#ifndef _PPEXCEPT_H_
#define _PPEXCEPT_H_

ERRCODE InitSysTick(void);

ERRCODE InitExceptions(void);

static __inline void _ppexp_EnableSysTick(void)
{
	((U32*)0xe000e010)[0] |= 1;
}

#endif
